Nuprl Definition : q-between 11,40
a < b < c == a < b & b < c 
latex

Definitionsr < s, P & Q
FDL editor aliasesq-between

origin